-
1 expression folding
реализуемый в компиляторах метод оптимизации - преобразование, подготавливающее проверку зависимостей, которое заключается в подстановке целочисленных выражений и констант непосредственно в индексные выражения со всеми возможными их упрощениямиАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > expression folding
-
2 expression
1) запись на языке программирования выполнения некоторых действий над данными, выраженная математической формулой и/или отношением. Может состоять из переменных, констант, ссылок, вызовов функций (все они называются операндами), объединённых знаками операций (операторами) и заключаемых в круглые скобки, если необходимо изменить порядок выполнения этих операций. Операции бывают унарными - с одним операндом, и бинарными - с двумя операндами. Существуют арифметические (arithmetic expression), логические (logical expression, conditional expression), выражения отношения (relational expression), символьные выражения, строковые (character expression, string expression), а также календарные выражения (date expression). В ряде ЯВУ, например в Ada, выражения, которые можно вычислить на стадии компиляции программы, называют статическими, а вычисляемые при исполнении программы - динамическимисм. тж. absolute expression, algebraic expression, compound expression, constant expression, expression folding, infix expression, initialization expression, language construct, mathematical expression, operator, operator precedence, postfix expression, range expression, regular expression, S-expression, subexpression, symbolic expression2) вычисление, порождающее значение или переменную. Если порождается переменная, такое выражение называется десигнатор (designator)Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > expression
-
3 constant folding
один из методов оптимизации, реализуемый во многих современных компиляторах; вычисление во время компиляции арифметических выражений, которые должны были бы вычисляться во время исполнения программы. Например, range:=13; index:=range+5 можно заменить на range:=13; index:=18Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > constant folding
-
4 compiler optimization
один из этапов компиляции, на котором с помощью методов оптимизации происходит преобразование программы, сохраняющее её семантику, но уменьшающее размер кода и/или время выполнения. Как правило, уменьшение размера кода увеличивает время выполнения, и наоборот. Поскольку ручная оптимизация программы стоит дорого и занимает много времени, а программисты, работающие на ЯВУ, обычно не знают тонкостей архитектуры конкретного целевого процессора, то сейчас кроме редких случаев используется оптимизация при компиляции, когда компилятор автоматически выбирает наиболее эффективный способ оптимизации и детали реализации в соответствии с заданным уровнем оптимизациисм. тж. antidependence, branch deletion, automatic parallelization, constant folding, constant propagation, control dependence, copy propagation, CSE, data dependence, dead statement, expression folding, fission by name, global forward substitution, GVN, hand optimization, intermediate representation, interprocedural optimization, jump threading, lazy evaluation, induction variable, instruction scheduling, instruction selection, local optimization, loop collapsing, loop invariant code motion, loop inversion, loop parallelization, loop optimization, loop peeling, loop skewing, loop splitting, loop tiling, loop transformation, loop unrolling, loop unrolling and jamming, loop unswitching, loop unwinding, loop vectorization, LNO, optimization, optimization technique, optimizing compiler, output dependence, partial evaluation, peephole optimization, polytope model, PRE, redundant-test elimination, register allocation, register spilling, scalar replacement, SSA, static analysis, strength reduction, strip mining, test promotion, trace scheduling, true dependence, two-version loop, vectorizationАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > compiler optimization
-
5 head
1. [hed] nI1. 1) головаbald head - лысая голова, лысина
taller by a head, a head taller - на голову выше
to shake one's head - отрицательно покачать головой [ср. тж. ♢ ]
to dive head downwards /foremost/ - а) нырять головой вниз; б) действовать опрометчиво /необдуманно/
to cut off smb.'s head - обезглавить кого-л.; снести кому-л. голову
to win by a head спорт. - а) опередить на голову; б) еле-еле выиграть ( на скачках; тж. to win by short head)
my head swims - у меня голова кружится, у меня всё плывёт перед глазами
2) головной портрет, изображение головы3) жизньit will cost him his head - он поплатится за это головой, это будет стоить ему жизни
2. 1) ум, рассудок; способностиa cool head - трезвый ум, рассудительный человек [см. тж. ♢ ]
a hot head - горячая голова, горячий /вспыльчивый/ человек
a wise head - а) умная голова, умница; б) ирон. умник
to have a (good) head on one's shoulders - иметь хорошую /светлую/ голову
to trouble /to bother/ one's head about smth. - а) беспокоиться о чём-л.; б) ломать голову над чем-л.
to take smth. into one's head, to take it into one's head to do smth. - вбить /забрать/ себе что-л. в голову
to keep smth. in one's head - держать что-л. в голове; хранить что-л. в памяти
to be above smb. 's head - быть выше чьего-л. понимания /разумения/
he has a good [a poor] head for figures - ему хорошо [плохо] даётся арифметика
it came into his head - ему пришло /взбрело/ в голову
it never entered his head to help me - ему и в голову не пришло помочь мне
something put /sent/ it out of my head - это почему-то вылетело /выскочило/ у меня из головы, я почему-то забыл об этом
2) (физиологическая) переносимость, способностьhe has a good /strong/ head for drink - он может много выпить
3. человекten dollars a /per/ head - по десяти долларов с человека /с каждого/
4. (pl без измен.) голова скотаthe park feeds about 40 head of deer - в парке насчитывается около 40 оленей
5. 1) стадо; стая (птиц)2) с.-х. поголовье6. амер. разг. головная боль (особ. с похмелья)I've got a bad /awful, thick/ head - у меня голова раскалывается /трещит/
7. сл. ротto keep one's head shut - не болтать; помалкивать, попридержать язык
8. рога ( оленя)9. уст. причёска; волосы10. амер. сл.1) наркоман2) фанатик, страстный поклонник, болельщикII1. 1) верхняя часть (чего-л.); верх, верхушка2) мор. топ ( мачты)2. 1) передняя, головная часть (чего-л.); перёдthe head of a procession [of a column] - голова процессии [колонны]
at the head of the page [of the list, of the chapter] - в начале страницы [списка, главы]
at the head of the table - во главе стола, на почётном месте
to be at the head of the field /pace/ - спорт. вести бег
2) мор. передняя, носовая часть судна; нос ( судна)down by the head - а) на нос; б) образн. подвыпивший
be in the position ❝head to wind❞ - «стать в левентик» ( парусный спорт)
3. продвижение вперёд, прогрессwe are making head at last - мы, наконец, добились сдвигов
4. крона ( дерева)5. 1) головка2) колос, метёлка ( злаковых)6. главный исток, верховье ( реки)7. заглавие, заголовок; рубрика, параграфa document arranged under five heads - документ, состоящий из пяти разделов /пунктов/
8. 1) мед. назревшая головка ( нарыва)to come /to draw/ to a head, to gather head - назреть ( о нарыве) [см. тж. 2)]
2) критическая точка, перелом; кризисto come to a head - достигнуть критической стадии [см. тж. 1)]
trouble coming to a head - беда, которая вот-вот разразится
to bring smth. to a head - а) обострять что-л.; вызывать кризис; б) доводить что-л. до конца, заканчивать что-л.
9. 1) головка (булавки, винта и т. п.); цилиндрическая головка ( болта)2) шляпка ( гвоздя)4) набалдашник ( трости)5) наконечник ( стрелы)6) головка ( теннисной ракетки)7) воен. головка снаряда8) тех. насадка, ригель9) вчт. головка10. pl лицевая сторона ( монеты); орёлheads or tails? - орёл или решка?
heads I win, tails you lose - если выпадет орёл, я выигрываю, а если решка - ты проигрываешь; ты проигрываешь в любом случае
11. 1) пена (на пиве и т. п.)with a head on - с шапкой пены, пенящийся
2) сливки ( на молоке)12. подъёмный навес; откидной верх (экипажа, автомобиля)a car with a folding /sliding/ head - автомобиль с открывающимся верхом, открытый автомобиль
13. 1) днище (бочки, цистерны и т. п.)2) редк. кожа, натянутая на барабане15. тех. бабка ( станка)16. тех. подвижной штамп17. стр. верхний брус ( оконной или дверной коробки)18. архит. капитель, замочный камень ( свода)19. 1) тж. pl горн. богатый концентрат20. гидр. разность уровней; напор, высота напора, давление ( столба жидкости)to flow by heads - течь прерывистой струёй /толчками/; течь с перебоями
21. метал. литник, прибыль ( при литье)22. геогр. мыс ( часто в названиях)23. амер.1) мор. жарг. гальюн2) прост. уборная, туалетIII1. 1) глава, руководитель, начальник; главный, старшийthe Head - разг. начальник, главный, старший
the head of a department - амер. руководитель отделения колледжа или университета
Head of Government [of State] - глава правительства [государства]
the Head of the Army - командующий вооружёнными силами, главнокомандующий
2) вождь; вожак; предводитель3) = headmaster2. верхушка; руководство; головка3. ведущее, руководящее положениеto be at [to rise to] the head of one's class - быть [стать] первым /лучшим/ учеником в классе
4. лингв. вершина, стержневое слово, «хозяин» ( конструкции)head of a nominal expression - вершина /главный член/ именной конструкции
♢
a head of hair - шапка /копна/ волос
raw head and broody bones - а) изображение черепа с двумя скрещёнными костями; б) пугало, что-л. страшное
scare head - амер. большой сенсационный заголовок ( в газете)
an old head on young shoulders - ≅ мудрый не по летам
big head and little wit - ≅ лоб широк, да мозгу мало
off /out of/ one's head - сошедший с ума, спятивший; не в своём уме
to go off /out of/ one's head - сойти с ума, рехнуться
on one's head - а) на чьей-л. ответственности; б) на чьей-л. совести; в) = standing on one's head
standing on one's head - легко, без труда
I can do it standing on my head - мне ничего не стоит это сделать; я сделаю это с закрытыми глазами
soft /weak/ in the head - придурковатый, глупый, слабоумный
light in the head - а) испытывающий головокружение; it made him feel light in the head - от этого у него закружилась голова; б) глупый; в) спятивший, сумасшедший
he is touched in the head - ≅ у него не все дома; у него винтика не хватает
out of one's own head - из собственной головы, выдуманный, сочинённый
over head and ears, head over ears (in love, in debt) - по уши (влюблённый, в долгу)
head over heels, heels over head - а) вверх тормашками, вверх ногами; б) кубарем, кувырком; поспешно; в) до крайности, весьма
from head to foot /heel/ - с головы до пят
over /above/ smb.'s head - а) через чью-л. голову, не поставив в известность кого-л.; б) выше чьего-л. понимания /разумения/
one's head off - до крайней степени; весьма; изо всех сил
to work one's head off - работать до упаду /как вол/
to shout one's head off - кричать во всю глотку /что есть мочи/
to eat one's head off - а) наесться; объесться; есть много или долго; б) не окупать себя, не оправдывать своей работой стоимости содержания; в) ручаться
I'll eat my head off, I'll give my head for it - даю голову на отсечение, ручаюсь
to talk smb.'s head off - заговорить кого-л., замучить кого-л. разговорами
to bite off smb.'s head, to snag /to eat/ smb.'s head off - резко, грубо оборвать кого-л. /огрызнуться/
to beat smb.'s head off - разбить кого-л. наголову
to be head and shoulders above others - быть на голову /неизмеримо/ выше других
heads up! - а) берегись!, осторожнее!; б) посторонись!; heads up, everybody! - посторонись!, с дороги!; в) усилить наблюдение за воздухом! ( команда); г) внимание!; мяч!; сверху! (возглас игрока, пытающегося привлечь внимание к летящему мячу)
to keep [to lose] one's head - сохранять спокойствие /присутствие духа/ [потерять голову]
to keep a cool head - сохранять хладнокровие, не терять голову [см. тж. I 2]
to lift up one's head - снова поднять голову, воспрянуть духом
to turn smb.'s head - вскружить кому-л. голову
to take the head - а) понести, закусить удила ( о лошади); б) выйти из повиновения, пуститься во все тяжкие
to hide one's head - стыдиться; не знать, куда деваться от стыда, прятать глаза
to hang /to have/ one's head down - а) стыдиться; б) повесить голову
to hold one's head up, to carry one's head high - высоко держать голову
to shake one's head at smth. - а) усомниться в чём-л.; б) не одобрять чего-л.; [ср. тж. I 1, 1)]
to stake one's head on smth., to give one's head for smth. - ручаться головой за что-л., давать голову на отсечение
to make head against smb., smth. - а) подниматься /восставать/ против кого-л., чего-л.; успешно сопротивляться; б) продвигаться вперёд, несмотря на противодействие
to break one's head over smth. - ломать голову над чем-л.
to bury /to hide/ one's head in the sand - зарывать /прятать/ голову в песок; придерживаться страусовой политики
to hold /to keep/ one's head above water - едва сводить концы с концами, едва перебиваться
to get a swelled head, to go about with one's head in the air - важничать, задаваться
to beat /to bang/ one's head against the wall - ≅ биться головой об стену, пытаться прошибить лбом стену
to have one's head in the clouds - ≅ витать в облаках
to wash an ass's head - попусту стараться, затрачивать энергию зря
to knock smb.'s heads together - решительными мерами примирить ссорящихся
to lay /to put/ heads together - совещаться; совместно консультироваться, обсуждать
to make head or tail of smth. - понять что-л., разобраться в чём-л.
not to /to be unable to/ make head or tail of smth. - запутаться в чём-л., не суметь /быть не в состоянии/ разобраться в чём-л.
to give smb. his head - дать кому-л. волю; разрешить кому-л. действовать по своему усмотрению
to go to the head - а) опьянить, броситься в голову ( о вине); the whisky has gone to his head - виски ударило ему в голову; б) вскружить голову
to stand on one's head - ≅ ходить на голове
to hit the nail on the head - попасть в точку, угадать
he has a cold in the head - он простудился, у него насморк
to knock smth. on the head - положить конец чему-л., покончить с чем-л.
to fling oneself at smb.'s head - ≅ вешаться кому-л. на шею
to do smth. on one's own head - сделать что-л. с лёгкостью /без труда/
on your head be it - а) пусть это будет на вашей совести; вы за это ответите; б) пусть возмездие обрушится на вашу голову
to cut /to make/ shorter by the head - обезглавить
heads will /would, are likely to/ roll - ≅ многих /кое-кого/ накажут /снимут с работы/
two heads are better than one - посл. ≅ ум хорошо, а два лучше
2. [hed] abetter be the head of a dog, than the tail of a lion - посл. ≅ лучше быть первым в деревне, чем последним в городе
1. 1) верхний; передний; головной2) главный, старшийhead electrician - кино бригадир осветителей
2. встречныйhead wind - встречный /противный/ ветер
3. предназначенный для ношения на голове; головной3. [hed] v1. возглавлять, стоять во главе; идти, стоять впередиto head an army [a procession, a parade, an expedition] - возглавлять армию [процессию, парад, экспедицию]
2. превосходить; быть первым3. 1) озаглавливать; начинать (какими-л. словами)the article is headed... - статья озаглавлена...
2) начинать, быть началом, открывать (текст и т. п.)these words head the charge - так /такими словами/ начинается обвинительное заключение
4. 1) направлятьto head smb. to the proper door - показать кому-л. нужную дверь, направить кого-л. в нужную комнату
2) направляться; держать курс (куда-л.)to head straight for one's destination - направиться прямо к месту назначения
how does the ship head? - куда направляется судно?
5. 1) мешать, препятствовать ( движению)2) уступать (кому-л.) дорогу3) подниматься к истокам (реки, ручья и т. п.); обходить (реку, ручей и т. п.)the traveller headed the stream instead of crossing it - путешественник не стал переправляться через ручей, а обошёл /обогнул/ его
4) двигаться навстречу (чему-л.)he headed the driving snow - он шёл в пургу против ветра, снег бил ему в лицо
5) (for) навлекать на себя, напрашиватьсяto head for trouble - навлекать на себя неприятности; ≅ лезть на рожон
6. брать начало, вытекать ( о реке)the Potomac heads in the Alleghanies - река Потомак берёт начало в Аллеганских горах
7. насаживать, приделывать головку (к булавке, гвоздю, стреле и т. п.; тж. head up)8. (тж. head up)1) завиваться, образовывать кочаны (о капусте и т. п.)2) колоситься ( о злаковых)9. 1) нарвать, созреть ( о нарыве)2) достигать наивысшей, критической точки10. 1) срезать верхушку (дерева, растения; тж. head down)2) снимать, обрезать ( корку)3) обезглавливать11. отбивать мяч головой; играть головой (тж. head in; футбол)♢
to head a trick - карт. бить /брать взятку/ старшей картой -
6 head
1. [hed] nI1. 1) головаbald head - лысая голова, лысина
taller by a head, a head taller - на голову выше
to shake one's head - отрицательно покачать головой [ср. тж. ♢ ]
to dive head downwards /foremost/ - а) нырять головой вниз; б) действовать опрометчиво /необдуманно/
to cut off smb.'s head - обезглавить кого-л.; снести кому-л. голову
to win by a head спорт. - а) опередить на голову; б) еле-еле выиграть ( на скачках; тж. to win by short head)
my head swims - у меня голова кружится, у меня всё плывёт перед глазами
2) головной портрет, изображение головы3) жизньit will cost him his head - он поплатится за это головой, это будет стоить ему жизни
2. 1) ум, рассудок; способностиa cool head - трезвый ум, рассудительный человек [см. тж. ♢ ]
a hot head - горячая голова, горячий /вспыльчивый/ человек
a wise head - а) умная голова, умница; б) ирон. умник
to have a (good) head on one's shoulders - иметь хорошую /светлую/ голову
to trouble /to bother/ one's head about smth. - а) беспокоиться о чём-л.; б) ломать голову над чем-л.
to take smth. into one's head, to take it into one's head to do smth. - вбить /забрать/ себе что-л. в голову
to keep smth. in one's head - держать что-л. в голове; хранить что-л. в памяти
to be above smb. 's head - быть выше чьего-л. понимания /разумения/
he has a good [a poor] head for figures - ему хорошо [плохо] даётся арифметика
it came into his head - ему пришло /взбрело/ в голову
it never entered his head to help me - ему и в голову не пришло помочь мне
something put /sent/ it out of my head - это почему-то вылетело /выскочило/ у меня из головы, я почему-то забыл об этом
2) (физиологическая) переносимость, способностьhe has a good /strong/ head for drink - он может много выпить
3. человекten dollars a /per/ head - по десяти долларов с человека /с каждого/
4. (pl без измен.) голова скотаthe park feeds about 40 head of deer - в парке насчитывается около 40 оленей
5. 1) стадо; стая (птиц)2) с.-х. поголовье6. амер. разг. головная боль (особ. с похмелья)I've got a bad /awful, thick/ head - у меня голова раскалывается /трещит/
7. сл. ротto keep one's head shut - не болтать; помалкивать, попридержать язык
8. рога ( оленя)9. уст. причёска; волосы10. амер. сл.1) наркоман2) фанатик, страстный поклонник, болельщикII1. 1) верхняя часть (чего-л.); верх, верхушка2) мор. топ ( мачты)2. 1) передняя, головная часть (чего-л.); перёдthe head of a procession [of a column] - голова процессии [колонны]
at the head of the page [of the list, of the chapter] - в начале страницы [списка, главы]
at the head of the table - во главе стола, на почётном месте
to be at the head of the field /pace/ - спорт. вести бег
2) мор. передняя, носовая часть судна; нос ( судна)down by the head - а) на нос; б) образн. подвыпивший
be in the position ❝head to wind❞ - «стать в левентик» ( парусный спорт)
3. продвижение вперёд, прогрессwe are making head at last - мы, наконец, добились сдвигов
4. крона ( дерева)5. 1) головка2) колос, метёлка ( злаковых)6. главный исток, верховье ( реки)7. заглавие, заголовок; рубрика, параграфa document arranged under five heads - документ, состоящий из пяти разделов /пунктов/
8. 1) мед. назревшая головка ( нарыва)to come /to draw/ to a head, to gather head - назреть ( о нарыве) [см. тж. 2)]
2) критическая точка, перелом; кризисto come to a head - достигнуть критической стадии [см. тж. 1)]
trouble coming to a head - беда, которая вот-вот разразится
to bring smth. to a head - а) обострять что-л.; вызывать кризис; б) доводить что-л. до конца, заканчивать что-л.
9. 1) головка (булавки, винта и т. п.); цилиндрическая головка ( болта)2) шляпка ( гвоздя)4) набалдашник ( трости)5) наконечник ( стрелы)6) головка ( теннисной ракетки)7) воен. головка снаряда8) тех. насадка, ригель9) вчт. головка10. pl лицевая сторона ( монеты); орёлheads or tails? - орёл или решка?
heads I win, tails you lose - если выпадет орёл, я выигрываю, а если решка - ты проигрываешь; ты проигрываешь в любом случае
11. 1) пена (на пиве и т. п.)with a head on - с шапкой пены, пенящийся
2) сливки ( на молоке)12. подъёмный навес; откидной верх (экипажа, автомобиля)a car with a folding /sliding/ head - автомобиль с открывающимся верхом, открытый автомобиль
13. 1) днище (бочки, цистерны и т. п.)2) редк. кожа, натянутая на барабане15. тех. бабка ( станка)16. тех. подвижной штамп17. стр. верхний брус ( оконной или дверной коробки)18. архит. капитель, замочный камень ( свода)19. 1) тж. pl горн. богатый концентрат20. гидр. разность уровней; напор, высота напора, давление ( столба жидкости)to flow by heads - течь прерывистой струёй /толчками/; течь с перебоями
21. метал. литник, прибыль ( при литье)22. геогр. мыс ( часто в названиях)23. амер.1) мор. жарг. гальюн2) прост. уборная, туалетIII1. 1) глава, руководитель, начальник; главный, старшийthe Head - разг. начальник, главный, старший
the head of a department - амер. руководитель отделения колледжа или университета
Head of Government [of State] - глава правительства [государства]
the Head of the Army - командующий вооружёнными силами, главнокомандующий
2) вождь; вожак; предводитель3) = headmaster2. верхушка; руководство; головка3. ведущее, руководящее положениеto be at [to rise to] the head of one's class - быть [стать] первым /лучшим/ учеником в классе
4. лингв. вершина, стержневое слово, «хозяин» ( конструкции)head of a nominal expression - вершина /главный член/ именной конструкции
♢
a head of hair - шапка /копна/ волос
raw head and broody bones - а) изображение черепа с двумя скрещёнными костями; б) пугало, что-л. страшное
scare head - амер. большой сенсационный заголовок ( в газете)
an old head on young shoulders - ≅ мудрый не по летам
big head and little wit - ≅ лоб широк, да мозгу мало
off /out of/ one's head - сошедший с ума, спятивший; не в своём уме
to go off /out of/ one's head - сойти с ума, рехнуться
on one's head - а) на чьей-л. ответственности; б) на чьей-л. совести; в) = standing on one's head
standing on one's head - легко, без труда
I can do it standing on my head - мне ничего не стоит это сделать; я сделаю это с закрытыми глазами
soft /weak/ in the head - придурковатый, глупый, слабоумный
light in the head - а) испытывающий головокружение; it made him feel light in the head - от этого у него закружилась голова; б) глупый; в) спятивший, сумасшедший
he is touched in the head - ≅ у него не все дома; у него винтика не хватает
out of one's own head - из собственной головы, выдуманный, сочинённый
over head and ears, head over ears (in love, in debt) - по уши (влюблённый, в долгу)
head over heels, heels over head - а) вверх тормашками, вверх ногами; б) кубарем, кувырком; поспешно; в) до крайности, весьма
from head to foot /heel/ - с головы до пят
over /above/ smb.'s head - а) через чью-л. голову, не поставив в известность кого-л.; б) выше чьего-л. понимания /разумения/
one's head off - до крайней степени; весьма; изо всех сил
to work one's head off - работать до упаду /как вол/
to shout one's head off - кричать во всю глотку /что есть мочи/
to eat one's head off - а) наесться; объесться; есть много или долго; б) не окупать себя, не оправдывать своей работой стоимости содержания; в) ручаться
I'll eat my head off, I'll give my head for it - даю голову на отсечение, ручаюсь
to talk smb.'s head off - заговорить кого-л., замучить кого-л. разговорами
to bite off smb.'s head, to snag /to eat/ smb.'s head off - резко, грубо оборвать кого-л. /огрызнуться/
to beat smb.'s head off - разбить кого-л. наголову
to be head and shoulders above others - быть на голову /неизмеримо/ выше других
heads up! - а) берегись!, осторожнее!; б) посторонись!; heads up, everybody! - посторонись!, с дороги!; в) усилить наблюдение за воздухом! ( команда); г) внимание!; мяч!; сверху! (возглас игрока, пытающегося привлечь внимание к летящему мячу)
to keep [to lose] one's head - сохранять спокойствие /присутствие духа/ [потерять голову]
to keep a cool head - сохранять хладнокровие, не терять голову [см. тж. I 2]
to lift up one's head - снова поднять голову, воспрянуть духом
to turn smb.'s head - вскружить кому-л. голову
to take the head - а) понести, закусить удила ( о лошади); б) выйти из повиновения, пуститься во все тяжкие
to hide one's head - стыдиться; не знать, куда деваться от стыда, прятать глаза
to hang /to have/ one's head down - а) стыдиться; б) повесить голову
to hold one's head up, to carry one's head high - высоко держать голову
to shake one's head at smth. - а) усомниться в чём-л.; б) не одобрять чего-л.; [ср. тж. I 1, 1)]
to stake one's head on smth., to give one's head for smth. - ручаться головой за что-л., давать голову на отсечение
to make head against smb., smth. - а) подниматься /восставать/ против кого-л., чего-л.; успешно сопротивляться; б) продвигаться вперёд, несмотря на противодействие
to break one's head over smth. - ломать голову над чем-л.
to bury /to hide/ one's head in the sand - зарывать /прятать/ голову в песок; придерживаться страусовой политики
to hold /to keep/ one's head above water - едва сводить концы с концами, едва перебиваться
to get a swelled head, to go about with one's head in the air - важничать, задаваться
to beat /to bang/ one's head against the wall - ≅ биться головой об стену, пытаться прошибить лбом стену
to have one's head in the clouds - ≅ витать в облаках
to wash an ass's head - попусту стараться, затрачивать энергию зря
to knock smb.'s heads together - решительными мерами примирить ссорящихся
to lay /to put/ heads together - совещаться; совместно консультироваться, обсуждать
to make head or tail of smth. - понять что-л., разобраться в чём-л.
not to /to be unable to/ make head or tail of smth. - запутаться в чём-л., не суметь /быть не в состоянии/ разобраться в чём-л.
to give smb. his head - дать кому-л. волю; разрешить кому-л. действовать по своему усмотрению
to go to the head - а) опьянить, броситься в голову ( о вине); the whisky has gone to his head - виски ударило ему в голову; б) вскружить голову
to stand on one's head - ≅ ходить на голове
to hit the nail on the head - попасть в точку, угадать
he has a cold in the head - он простудился, у него насморк
to knock smth. on the head - положить конец чему-л., покончить с чем-л.
to fling oneself at smb.'s head - ≅ вешаться кому-л. на шею
to do smth. on one's own head - сделать что-л. с лёгкостью /без труда/
on your head be it - а) пусть это будет на вашей совести; вы за это ответите; б) пусть возмездие обрушится на вашу голову
to cut /to make/ shorter by the head - обезглавить
heads will /would, are likely to/ roll - ≅ многих /кое-кого/ накажут /снимут с работы/
two heads are better than one - посл. ≅ ум хорошо, а два лучше
2. [hed] abetter be the head of a dog, than the tail of a lion - посл. ≅ лучше быть первым в деревне, чем последним в городе
1. 1) верхний; передний; головной2) главный, старшийhead electrician - кино бригадир осветителей
2. встречныйhead wind - встречный /противный/ ветер
3. предназначенный для ношения на голове; головной3. [hed] v1. возглавлять, стоять во главе; идти, стоять впередиto head an army [a procession, a parade, an expedition] - возглавлять армию [процессию, парад, экспедицию]
2. превосходить; быть первым3. 1) озаглавливать; начинать (какими-л. словами)the article is headed... - статья озаглавлена...
2) начинать, быть началом, открывать (текст и т. п.)these words head the charge - так /такими словами/ начинается обвинительное заключение
4. 1) направлятьto head smb. to the proper door - показать кому-л. нужную дверь, направить кого-л. в нужную комнату
2) направляться; держать курс (куда-л.)to head straight for one's destination - направиться прямо к месту назначения
how does the ship head? - куда направляется судно?
5. 1) мешать, препятствовать ( движению)2) уступать (кому-л.) дорогу3) подниматься к истокам (реки, ручья и т. п.); обходить (реку, ручей и т. п.)the traveller headed the stream instead of crossing it - путешественник не стал переправляться через ручей, а обошёл /обогнул/ его
4) двигаться навстречу (чему-л.)he headed the driving snow - он шёл в пургу против ветра, снег бил ему в лицо
5) (for) навлекать на себя, напрашиватьсяto head for trouble - навлекать на себя неприятности; ≅ лезть на рожон
6. брать начало, вытекать ( о реке)the Potomac heads in the Alleghanies - река Потомак берёт начало в Аллеганских горах
7. насаживать, приделывать головку (к булавке, гвоздю, стреле и т. п.; тж. head up)8. (тж. head up)1) завиваться, образовывать кочаны (о капусте и т. п.)2) колоситься ( о злаковых)9. 1) нарвать, созреть ( о нарыве)2) достигать наивысшей, критической точки10. 1) срезать верхушку (дерева, растения; тж. head down)2) снимать, обрезать ( корку)3) обезглавливать11. отбивать мяч головой; играть головой (тж. head in; футбол)♢
to head a trick - карт. бить /брать взятку/ старшей картой -
7 constant
1) (const) - константа, постоянная величинав программировании - величина, значение которой остаётся неизменным во время выполнения программы. Может использоваться в качестве операнда, параметра и т. п. С точки зрения компилятора - константы - это данные, присутствующие непосредственно в исходном тексте программы. В зависимости от типа данных константы могут быть численными, логическими, знаковыми, строковыми и т. д. В отличие от переменных константы могут храниться в ПЗУAnt:см. тж. address constant, Boolean constant, character constant, constant declaration, constant folding, constant propagation, constant variable, floating point constant, hexadecimal constant, literal, numeric constant, octal constant, named constant, predeclared constant, predefined constant, string constant, symbolic constant, typed constant2) постоянный, не изменяющийсянапример, with constant performance - с постоянной производительностью; constant dimensions - постоянные размерности (массива)3) константныйАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > constant
См. также в других словарях:
Gene expression — For vocabulary, see Glossary of gene expression terms. For a non technical introduction to the topic, see Introduction to genetics. Genes are expressed by being transcribed into RNA, and this transcript may then be translated into protein. Gene… … Wikipedia
Constant folding — and constant propagation are related compiler optimizations used by many modern compilers. An advanced form of constant propagation known as sparse conditional constant propagation can more accurately propagate constants and simultaneously remove … Wikipedia
Teabag folding — is a form of origami the development of which is credited to Tiny (pronounced Teeny) van der Plas, who as a practitioner of origami developed the technique in 1992 as a papercraft art for embellishing greeting cards. It uses small square pieces… … Wikipedia
Constant folding — Le constant folding est une des premières optimisations effectuée lors de la compilation d un programme. Elle consiste à remplacer une expression constante par sa valeur, calculée statiquement par le compilateur. Par exemple, le code suivant en C … Wikipédia en Français
ENTPD5 — Ectonucleoside triphosphate diphosphohydrolase 5, also known as ENTPD5, is a human gene.cite web | title = Entrez Gene: ENTPD5 ectonucleoside triphosphate diphosphohydrolase 5| url = http://www.ncbi.nlm.nih.gov/sites/entrez?Db=gene… … Wikipedia
HSP60 — Heat shock proteins are generally responsible for preventing damage to proteins in response to high levels of heat. Heat shock proteins are classified into six major families based on their molecular mass: small HSPs, HSP40, HSP60, HSP70, HSP90,… … Wikipedia
Chemical biology — is a scientific discipline spanning the fields of chemistry and biology that involves the application of chemical techniques and tools, often compounds produced through synthetic chemistry, to the study and manipulation of biological systems.… … Wikipedia
painting — /payn ting/, n. 1. a picture or design executed in paints. 2. the act, art, or work of a person who paints. 3. the works of art painted in a particular manner, place, or period: a book on Flemish painting. 4. an instance of covering a surface… … Universalium
arts, East Asian — Introduction music and visual and performing arts of China, Korea, and Japan. The literatures of these countries are covered in the articles Chinese literature, Korean literature, and Japanese literature. Some studies of East Asia… … Universalium
Green fluorescent protein — EGFP redirects here. EGFP may also refer to the ICAO airport code for Pembrey Airport. GFP ribbon diagram. From PDB 1EMA … Wikipedia
Neurulation — Neuroscience portal Transve … Wikipedia